The Role of Invariants in the Co-evolution of Business and Technical Service Specification of an Enterprise

نویسندگان

  • Biljana Bajic-Bizumic
  • Irina Rychkova
  • Alain Wegmann
چکیده

We explore invariants as a linking mechanism between the business and technical service perspectives: From the business perspective, invariants can be used to model (business) requirements of an enterprise; from the technical perspective, invariants express the properties that must hold during the execution of a service. We propose an approach to enterprise service design that can be described as an iterative introduction and a modification of invariants in response to the evolution of business and/or technical service specifications. We formalize the service specifications in Alloy and demonstrate how each design iteration can be simulated, visualized and validated with the Alloy analyzer tool. We illustrate our findings with the example of Order Creation service.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Process Pattern of Value Co-creation in Healthcare Service Ecosystem

Abstract Background: Having an inclusive approach and explaining involvement practices and the roles played by the actors in healthcare ecosystems is a critical factor in healthcare industry. The aim of this study was to design the process pattern of value co-creation in the healthcare ecosystem. Methods: This study was practical in terms of the goal, and descriptive-survey with a two-staged ...

متن کامل

Providing an Enterprise Architecture Framework Model for Laboratory Information Management Systems by Service Oriented Approach

Background and Aim: Laboratories are one of the most important scientific and research centers. Laboratory information management systems provide a platform for recording the information and collaborating between researchers. The main purpose of this study was suggesting an organizational architecture model of laboratory information management systems.  Materials and Methods: This study was a ...

متن کامل

Determinants of Entrepreneurial Orientation of Rural Women Small Business Owners: The Case of Gambella Region of Ethiopia

Small business and entrepreneurship play critical role in stimulating economic activity, creating jobs, alleviating poverty and uplift living standards in Africa. It is widely accepted that the Micro and Small Enterprise (MSE) sectors have the potential to provide a livelihood for a considerably large number of poor rural and urban women in Ethiopia. Women account for the larger share of the in...

متن کامل

Evaluating the Growth and Evolution of Facility Management in Innovating Integrating and Aligning Business Strategies to Achieve a Competitive Advantage

The South African Facilities Management (FM) industry has seen increased operational strategy complexity from single-site contractors providing basic janitorial services to highly integrated and bundled FM service providers.  Despite these major changes, very little research has been conducted on evaluating the effectiveness of FM in innovating, integrating and aligning business strategies to a...

متن کامل

Impact of Buyback of Shares on Firm Value: An Empirical Evidence from India

The present study examines the impact of capital employed in buyback of shares on firm value for 180 firms listed in the Bombay Stock Exchange of India. The issue of buyback of shares in the period from 2006 to 2016 was examined. The firm value is measured by a proxy, enterprise value, as a substitute of share price. The results suggest that the firm value differs from pre and post buyback of s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013